body (SVRC) A Special Research Centre of the Australian

Research Council. Its mission is to create improved methods

and tools, of industrial significance, for developing

verified software. Two of the SVRC's core projects are the

Cogito methodology and the Ergo proof tool.